»Nekaterih stvari UI preprosto ne bo mogel poustvariti. Lepota je v težavnosti in lepota je v napakah. In računalnik tega ne zmore. Računalnik nima duše.«
»Konkretno me zelo zanima umetna inteligenca na področju dokazovanja izrekov, kjer se ukvarjam z 'dokazovalnimi pomočniki' in vprašanjem, kako bi nam računalniki pomagali pri odkrivanju novega matematičnega znanja.«
Kliknite povezavo za prikaz izjav v želenem obdobju